Nuprl Lemma : decidable__false 9,38
Dec(False) 
latex

ProofTree

Definitionst  T, False
Lemmasfalse wf

origin